Farn Wang: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Feeling sounds after a thalamic lesion

Tony Ro, Alessandro Farnè, Ruth M. Johnson, Van Wedeen, Zili Chu, Zhiyue J. Wang, Jill V. Hunter, Michael S. Beauchamp

Journal:

Annals of Neurology

Year:

2007

Language:

english

File:

PDF, 1.02 MB

english, 2007

2

Hydrogen storage properties of multi-principal-component CoFeMnTixVyZrz alloys

Yih-Farn Kao, Swe-Kai Chen, Jen-Haur Sheu, Jiun-Ting Lin, Wei-En Lin, Jien-Wei Yeh, Su-Jien Lin, Tzung-Hsien Liou, Chia-Wen Wang

Journal:

International Journal of Hydrogen Energy

Year:

2010

Language:

english

File:

PDF, 3.71 MB

english, 2010

3

BDD-based safety-analysis of concurrent software with pointer data structures using graph automorphism symmetry reduction

Farn Wang, Schmidt, K., Fang Yu, Geng-Dian Huang, Bow-Yaw Wang

Journal:

IEEE Transactions on Software Engineering

Year:

2004

Language:

english

File:

PDF, 1.55 MB

english, 2004

4

Effects of two dust storms on solar radiation in the Beijing-Tianjin area

Zhou, Mingyu, Chen, Zhi, Huang, Runheng, Wang, Qimao, Arimoto, Richard, Parungo, Farn, Lenschow, Donald, Okada, Kikuo, Wu, Peiming

Journal:

Geophysical Research Letters

Year:

1994

Language:

english

File:

PDF, 400 KB

english, 1994

5

[Lecture Notes in Computer Science] Automated Technology for Verification and Analysis Volume 3299 || Development of RTOS for PLC Using Formal Methods

Year:

2004

Language:

english

File:

PDF, 159 KB

english, 2004

6

A Game-Theoretic Foundation for the Maximum Software Resilience against Dense Errors

Huang, Chung-Hao, Peled, Doron A., Schewe, Sven, Wang, Farn

Journal:

IEEE Transactions on Software Engineering

Year:

2015

Language:

english

File:

PDF, 425 KB

english, 2015

7

Synthesis and the biological evaluation of arylnaphthalene lignans as anti-hepatitis B virus agents

Damodar Janmanchi, Ya Ping Tseng, Kuei-Chen Wang, Ray Ling Huang, Chih Hsiu Lin, Sheau Farn Yeh

Journal:

Bioorganic & Medicinal Chemistry

Year:

2010

Language:

english

File:

PDF, 790 KB

english, 2010

8

The β-Carboline Analog Mana-Hox Causes Mitotic Aberration by Interacting with DNA

Lan Chun Tu, Chien-Shu Chen, I-Ching Hsiao, Ji-Wang Chern, Chi-Hung Lin, Ya-Ching Shen, Sheau Farn Yeh

Journal:

Chemistry & Biology

Year:

2005

Language:

english

File:

PDF, 987 KB

english, 2005

9

Reachability solution characterization of parametric real-time systems

Farn Wang, Hsu-Chun Yen

Journal:

Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 273 KB

english, 2004

10

A temporal logic for real-time partial ordering with named transactions

Journal:

Theoretical Computer Science

Year:

1997

Language:

english

File:

PDF, 2.30 MB

english, 1997

11

Effect of mouth washing on the [13C]-urea breath test

Tzong-Hsi Lee, Jyh-Chin Yang, Shui-Cheng Lee, Shiou-Shiow Farn, Teh-Hong Wang

Journal:

Journal of Gastroenterology and Hepatology

Year:

2001

Language:

english

File:

PDF, 50 KB

english, 2001

12

Efficient verification of timed automata with BDD-like data structures

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2004

Language:

english

File:

PDF, 905 KB

english, 2004

13

Mitochondrial anchoring of PKCα by PICK1 confers resistance to etoposide-induced apoptosis

Wei-Li Wang, Sheau-Farn Yeh, Eagle Yi-Kung Huang, Yu-Ling Lu, Chun-Fa Wang, Chi-Ying F. Huang, Wey-Jinq Lin

Journal:

Year:

2007

Language:

english

File:

PDF, 574 KB

english, 2007

14

Pirate or Buy? The Moderating Effect of Idolatry

Chia-chen Wang, Chin-ta Chen, Shu-chen Yang, Cheng-kiang Farn

Journal:

Journal of Business Ethics

Year:

2009

Language:

english

File:

PDF, 277 KB

english, 2009

15

Efficient verification of distributed real-time systems with broadcasting behaviors

Farn Wang, Li-Wei Yao, Ya-Lan Yang

Journal:

Real-Time Systems

Year:

2011

Language:

english

File:

PDF, 1.37 MB

english, 2011

16

Procedure-Level Verification of Real-time Concurrent Systems

Farn Wang, Chia-Tien Lo

Journal:

Real-Time Systems

Year:

1999

Language:

english

File:

PDF, 279 KB

english, 1999

17

Parametric Analysis of Computer Systems

Journal:

Formal Methods in System Design

Year:

2000

Language:

english

File:

PDF, 137 KB

english, 2000

18

Parametric Timing Analysis for Real-Time Systems

Journal:

Information and Computation

Year:

1996

Language:

english

File:

PDF, 1.96 MB

english, 1996

19

Active compounds from Saussurea lappa Clarks that suppress hepatitis B virus surface antigen gene expression in human hepatoma cells

Hua-Chien Chen, Chen-Kung Chou, Shou-Dong Lee, Ju-Chun Wang, Sheau-Farn Yeh

Journal:

Antiviral Research

Year:

1995

Language:

english

File:

PDF, 560 KB

english, 1995

20

Neural-fuzzy classification for segmentation of remotely sensed images

Sei-Wang Chen, Chi-Farn Chen, Meng-Seng Chen, Shen Cheng, Chiung-Yao Fang, Kuo-En Chang

Journal:

IEEE Transactions on Signal Processing

Year:

1997

Language:

english

File:

PDF, 571 KB

english, 1997

21

Grain size effects on the oxidation of two ternary Cu–Ni–20wt.% Cr alloys at 700–800 °C in 1 atm O2

Y. Niu, Z.Q. Cao, F. Gesmundo, G. Farnè, G. Randi, C.L. Wang

Journal:

Corrosion Science

Year:

2003

Language:

english

File:

PDF, 692 KB

english, 2003

22

Symbolic parametric safety analysis of linear hybrid systems with BDD-like data-structures

Journal:

IEEE Transactions on Software Engineering

Year:

2005

Language:

english

File:

PDF, 966 KB

english, 2005

23

TCTL Inevitability Analysis of Dense-Time Systems: From Theory to Engineering

Farn Wang, Geng-Dian Huang, Fang Yu

Journal:

IEEE Transactions on Software Engineering

Year:

2006

Language:

english

File:

PDF, 3.99 MB

english, 2006

24

Formal verification of timed systems: a survey and perspective

Journal:

Proceedings of the IEEE

Year:

2004

Language:

english

File:

PDF, 607 KB

english, 2004

25

Efficient model-checking of dense-time systems with time-convexity analysis

Journal:

Theoretical Computer Science

Year:

2013

Language:

english

File:

PDF, 713 KB

english, 2013

26

Contribution of the gastrointestinal tract below the stomach to the 13C-urea breath test

T-H Lee, J-C Yang, S-C Lee, S-S Farn, T-H Wang

Journal:

Digestive and Liver Disease

Year:

2003

Language:

english

File:

PDF, 106 KB

english, 2003

27

Efficient and user-friendly verification

Farn Wang, Pao-Ann Hsiung

Journal:

IEEE Transactions on Computers

Year:

2002

Language:

english

File:

PDF, 627 KB

english, 2002

28

A high-throughput and high-capacity IPv6 routing lookup system

Hsiao, Yi-Mao, Chu, Yuan-Sun, Lee, Jeng-Farn, Wang, Jinn-Shyan

Journal:

Computer Networks

Year:

2013

Language:

english

File:

PDF, 1.24 MB

english, 2013

29

[Lecture Notes in Computer Science] Automated Technology for Verification and Analysis Volume 3299 ||

Year:

2004

Language:

english

File:

PDF, 5.72 MB

english, 2004

30

[Lecture Notes in Computer Science] Formal Techniques for Networked and Distributed Systems - FORTE 2005 Volume 3731 || Towards Synchronizing Linear Collaborative Objects with Operational Transformation

Year:

2005

Language:

english

File:

PDF, 388 KB

english, 2005

31

Pirate or Buy? The Moderating Effect of Idolatry

Chia-chen Wang, Chin-ta Chen, Shu-chen Yang and Cheng-kiang Farn

Journal:

Journal of Business Ethics

Year:

2009

Language:

english

File:

PDF, 1.96 MB

english, 2009

32

Model-checking fair dense-time systems with propositions and events

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2015

Language:

english

File:

PDF, 605 KB

english, 2015

33

[IEEE Comput. Soc Sixth International Conference on Real-Time Computing Systems and Applications. RTCSA'99 - Hong Kong, China (13-15 Dec. 1999)] Proceedings Sixth International Conference on Real-Time Computing Systems and Applications. RTCSA'99 (Cat. No.PR00306) - Verification of concurrent client-server real-time scheduling systems

Pao-Ann Hsiung,, Farn Wang,, Yue-Sun Kuo,

Year:

1999

Language:

english

File:

PDF, 740 KB

english, 1999

34

[IEEE International Conference on Software Engineering - Melbourne, Australia ()] International Conference on Software Engineering - Formal Specification Of Asynchronous Distributed Real-time Systems By APTL

Farn Wang,, Al Mok,, Emerson, E.A.

Year:

1992

File:

PDF, 647 KB

1992

35

[IEEE 2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE) - Taipei, Taiwan (2010.08.25-2010.08.27)] 2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering - Lazy Decision Diagrams for Word-Level Model Manipulation in Software Verification

Year:

2010

Language:

english

File:

PDF, 380 KB

english, 2010

36

[IEEE Comput. Soc Third IEEE Real-Time Technology and Applications Symposium - Montreal, Que., Canada (9-11 June 1997)] Proceedings Third IEEE Real-Time Technology and Applications Symposium - Error propagation analysis of real-time data-intensive applications

Tei-Wei Kuo,, Locke, D., Farn Wang,

Year:

1997

Language:

english

File:

PDF, 504 KB

english, 1997

37

[IEEE Comput. Soc 24th Annual International Computer Software and Applications Conference. Compsac 2000 - Taipei, Taiwan (25-27 Oct. 2000)] Proceedings 24th Annual International Computer Software and Applications Conference. COMPSAC2000 - Region Encoding Diagram for fully symbolic verification of real-time systems

Year:

2000

Language:

english

File:

PDF, 596 KB

english, 2000

38

[IEEE Comput. Soc Fourth International Workshop on Real-Time Computing Systems and Applications - Taipei, Taiwan (27-29 Oct. 1997)] Proceedings Fourth International Workshop on Real-Time Computing Systems and Applications - PASS: a prototyping, analysis, simulation, and synthesis environment for real-time systems

Tei-Wei Kuo,, Shao-Juen Ho,, Chih-Hung Wei,, Farn Wang,

Year:

1997

Language:

english

File:

PDF, 769 KB

english, 1997

39

[IEEE Comput. Soc Third IEEE International High-Assurance Systems Engineering Symposium - Washington, DC, USA (13-14 Nov. 1998)] Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231) - Automatic verification on the large

Farn Wang,, Pao-Ann Hsiung,

Year:

1998

Language:

english

File:

PDF, 145 KB

english, 1998

40

[IEEE 2011 IEEE 9th International Conference on Dependable, Autonomic and Secure Computing (DASC) - Sydney, Australia (2011.12.12-2011.12.14)] 2011 IEEE Ninth International Conference on Dependable, Autonomic and Secure Computing - Intelligent Test Oracle Construction for Reactive Systems without Explicit Specifications

Wang, Farn, Yao, Li-Wei, Wu, Jung-Hsuan

Year:

2011

Language:

english

File:

PDF, 421 KB

english, 2011

41

[IEEE Comput. Soc Seventh International Conference on Real-Time Computing Systems and Applications - Cheju Island, South Korea (12-14 Dec. 2000)] Proceedings Seventh International Conference on Real-Time Computing Systems and Applications - On the verification of Wireless Transaction Protocol using SGM and RED

Pao-Ann Hsiung,, Farn Wang,, Ruey-Cheng Chen,

Year:

2000

Language:

english

File:

PDF, 520 KB

english, 2000

42

[IEEE 2012 45th Hawaii International Conference on System Sciences (HICSS) - Maui, HI, USA (2012.01.4-2012.01.7)] 2012 45th Hawaii International Conference on System Sciences - Explore the Knowledge Integration in Knowledge Teams from a Transactive Memory Perspective

Wang, Chia-chen, Farn, Cheng-kiang

Year:

2012

Language:

english

File:

PDF, 303 KB

english, 2012

43

[IEEE Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) - Paphos, Cyprus (2006.11.15-2006.11.19)] Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) - REDLIB for the Formal Verification of Embedded Systems

Year:

2006

Language:

english

File:

PDF, 374 KB

english, 2006

44

[Lecture Notes in Computer Science] Formal Techniques for Networked and Distributed Systems - FORTE 2005 Volume 3731 || Computing Subgraph Probability of Random Geometric Graphs: Quantitative Analyses of Wireless Ad Hoc Networks

Year:

2005

Language:

english

File:

PDF, 384 KB

english, 2005

45

[Lecture Notes in Computer Science] Formal Techniques for Networked and Distributed Systems - FORTE 2005 Volume 3731 ||

Year:

2005

Language:

english

File:

PDF, 7.64 MB

english, 2005

46

[IEEE 2008 IEEE 29th Real-Time Systems Symposium (RTSS) - Barcelona, Spain (2008.11.30-2008.12.3)] 2008 Real-Time Systems Symposium - Efficient Model-Checking of Dense-Time Systems with Time-Convexity Analysis

Year:

2008

Language:

english

File:

PDF, 278 KB

english, 2008

47

[IEEE Networking Conference (WCNC) - Sydney, Australia (2010.04.18-2010.04.21)] 2010 IEEE Wireless Communication and Networking Conference - Fast and Reliable Emergency Message Dissemination Mechanism in Vehicular Ad Hoc Networks

Lee, Jeng-Farn, Wang, Chang-Sheng, Chuang, Ming-Chin

Year:

2010

Language:

english

File:

PDF, 449 KB

english, 2010

48

[IEEE Computer. Soc. Press 3rd International Workshop on Real-Time Computing Systems and Applications - Seoul, South Korea (30 Oct.-1 Nov. 1996)] Proceedings of 3rd International Workshop on Real-Time Computing Systems and Applications - Scalable compositional verification of high-level real-time concurrent systems from 10/sup 7/ to 10/sup 85/ states

Year:

1996

Language:

english

File:

PDF, 931 KB

english, 1996

49

PREFACE

Journal:

International Journal of Foundations of Computer Science

Year:

2006

Language:

english

File:

PDF, 103 KB

english, 2006

50

INDUCTIVE COMPOSITION OF NUMBERS WITH MAXIMUM, MINIMUM, AND ADDITION: A New Theory for Program Execution-Time Analysis

Journal:

International Journal of Foundations of Computer Science

Year:

2004

Language:

english

File:

PDF, 3.09 MB

english, 2004

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски